
   Syntax       label %:= REMAINDER(%&divisor& {%,%&pivot&}%)% &label&

   Purpose      &divisor& is divided into &label&

   Note         &pivot& specifies the lead term in &divisor&.  If you
                want to divide a divisor such as a + b + c into
                a^2*b + b*c + a, then 'a' would be taken automatically
                to be the pivot term if none is specified.  'b' taken
                as the pivot term will give a different result.

   %Example%

   þE1 : c^2 + c*d + d^2
   þE2 := REMAINDER(c - d, -d) E1
   E2 : 3*c^2

   PROCEDURE Example(LABEL L1, L2 ; PARAMETER P) ;
     L2 := REMAINDER(P) L1 ;
   EXIT
